Gert H. Müller The growth of the number of publications in almost all scientific areas,· as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview ofthe existing literature, partic ularly if they do not have an extensive library available in their (...) neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-c1assical Logics W. Rautenberg IH. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra. (shrink)

Thirty-two years ago W. V. Quine proposed a definition of 'logical truth' that has been widely repeated and reprinted. Quine himself seems to have recognized that this definition is wrong in detail; in section 1 we eliminate this fault. What has perhaps been less widely observed is that, in abandoning the model-theoretic account of logical truth in favor of a "substitutional" account, Quine's definition swells the ranks of the logical truths and makes the classification of a sentence as a logical (...) truth dependent both on the interpretation of its extralogical words and on the extralogical vocabulary available in the language. (shrink)

A fundamental philosophical question that arises in connection with evolutionary theory is whether the fittest patterns of behavior are always the most rational. Are fitness and rationality fully compatible? When behavioral rationality is characterized formally as in classical decision theory, the question becomes mathematically meaningful and can be explored systematically by investigating whether the optimally fit behavior predicted by evolutionary process models is decision-theoretically coherent. Upon investigation, it appears that in nontrivial evolutionary models the expected behavior is not always in (...) accord with the norms of the standard theory of decision as ordinarily applied. Many classically irrational acts, e.g. betting on the occurrence of one event in the knowledge that the probabilities favor another, can under certain circumstances constitute adaptive behavior.One interesting interpretation of this clash is that the criterion of rationality offered by classical decision theory is simply incorrect (or at least incomplete) as it stands, and that evolutionary theory should be called upon to provide a more generally applicable theory of rationality. Such a program, should it prove feasible, would amount to the logical reduction of the theory of rational choice to evolutionary theory. (shrink)

Libertarians such as J.R. Lucas have abandoned traditional Christian doctrines because they cannot reconcile them with the freedom of the will. Traditional Christian thinkers such as Augustine have repudiated libertarianism because they cannot reconcile it with the dogmas of the Faith. In Free Will and the Christian Faith, W.S. Anglin demonstrates that free will and traditional Christianity are ineed compatible. He examines, and solves, puzzles about the relationships between free will and omnipotence, omniscience, and God's goodness, using the idea of (...) free will to answer the question of why God allows evil, and presenting arguments that link free will to eternal life and to the nature of revelation. Topics covered include the meaning of life, the soul and Lesbegue measure, and strategies for discerning the voice of God. (shrink)

The Platonic MS. Vat. gr. 225 contains tetr. I, VI. 3, 4, II–IV, while its companion volume in the same hand Vat. gr. 226 contains V–VI. 2, VIII. 3, VII, Spp., VIII. 1, 2. Posts states that for tetr. I and VI. 3 A is close to Vind. suppl. gr. 7 and thereafter derives from the Clarkianus . I am here concerned only with the testimony of Δ in. 2 . This manuscript has been largely ignored by commentators and editors. (...) Schanz does not quote it, nor does Bekker . Alline is scornful about it. Neither Burnet nor Croiset quotes it—and indeed Burnet claims that it is merely an interpolated apograph of W. Stallbaum seems to be the only editor who quotes it for Apol. This appears to be an unwarranted neglect since A has, in fact, a good claim to be considered as a primary witness in this dialogue. (shrink)

The authors' novel approach to some interesting mathematical concepts - not normally taught in other courses - places them in a historical and philosophical setting. Although primarily intended for mathematics undergraduates, the book will also appeal to students in the sciences, humanities and education with a strong interest in this subject. The first part proceeds from about 1800 BC to 1800 AD, discussing, for example, the Renaissance method for solving cubic and quartic equations and providing rigorous elementary proof that certain (...) geometrical problems posed by the ancient Greeks cannot be solved by ruler and compass alone. The second part presents some fundamental topics of interest from the past two centuries, including proof of G del's incompleteness theorem, together with a discussion of its implications. (shrink)

Over the last few years, the concept of “wilderness” has come under attack by environmentalists deeply committed to sustaining the natural world. Their criticisms are pointed and undeniably strong; moreover as I will argue, very similar critiques could be made of its putative counter-concept, “the city.” Yet in both cases, we need not simply reject the concepts themselves as incoherent; our challenge is rather to develop resources rich enough to show that and why they must stand in a constructive tension. (...) I will close by outlining the possibility and productivity of this development through hermeneutic reflections inspired by the work of Hans-Georg Gadamer. (shrink)

The pseudo-Ciceronian Epistula ad Octavianum enjoys the unmerited distinction of being preserved not only in most of the manuscripts which contain the Ad Atticum letters but also in some of those which contain the second half of the Ad Familiares letters; the former tradition is usually designated Ω, the latter I shall designate X. It was on the Ω tradition that the earliest printed texts were based. In the sixteenth century Cratander and Turnebus introduced a number of readings from the (...) X tradition; some of these were incorporated in the vulgate, but the printed editions from that of Lambinus to that of Purser still continued to be based mainly on Ω. In 1913, in an article in Eranos, xiii. 136–46, Sjögren set himself to prove that the value of Ω had been overrated in the establishment of the text, and that greater importance should be attached to X than to Ω; and in accordance with this view, in his 1914 Teubner text, Sjögren follows X, as against Ω, about twice as often3 as Purser does. This view of Sjögren's, I believe, will not stand examination, and to disprove it is the purpose of the present article. (shrink)

Most modern editors adopt one or other of two readings: quot gradibus domus ista Remi se sustulit! olim / unus erat etc.; qua gradibus domus ista Remi se sustulit, olim / unus erat etc. It is true that a large number of steps leading up to a temple is an indicationof its magnificence; cf. Ovid, Pont. 3. 2. 49 f. templa manent hodie vastis innixa columnis, / perque quater denos itur in ilia gradus. Nevertheless in this context qua is more (...) probable than quot, in view of the local relative clauses in line 1 and line 3. (shrink)

Odysseus' man, disguised as the captain of a merchant ship, is explaining to Neoptolemus how he chanced unexpectedly to meet Neoptolemus' sailors. Jebb's note, ‘the same land ; not, strictly, the same “spot” ’, and his rendering, ‘off the same coast’, somewhat contradict one another.

At their first meeting Polynices and Tydeus come to blows. They are reconciled by Adrastus, who expresses the hope that their quarrel will lead to loyal friendship between them, as it did. Esse pro fuisse dixit, says Lactantius, more ingenuously than Klotz, who tries to make the same thing more palatable by saying esse est pro imperfecti quodammodo infinitiuo. Some have taken the accusative and infinitive to be a general statement, but Heuvel is clearly right in saying that it is (...) Tydeus and Polynices whom the poet has in mind. The most favoured solution has been Grater's conjecture isse, but that produces an unnatural expression ; Mozley renders it by ‘grew’, thereby translating not what stands in his text but what ought perhaps to stand there, namely esse, a conjecture of Gil, which has been almost entirely overlooked. This contracted form is found in extant literature only at Lucretius 3.683 and Ovid, Met. 7.416 . The first letters of a line are particularly liable to omission; despite Hill, I do not find it at all surprising that at 1.544 perseus lost its first letter and the remnant became aureus. (shrink)

Delia is being carefully watched and the door is locked to keep her in and her lover out . It is hardly reasonable to suppose that she has in these circumstances been left in possession of the key; it is presumably in the custody of the ianitor. According to Ovid, what girls in this situation did was to have a duplicate key fabricated for use when occasion offered. The Delphin Ed. note ‘Par. pro fixo habet fcdso’ may, of course, record (...) what is merely a correction. Falso may, on the other hand, have arisen from a gloss on a reading ficto in a manuscript prior to those extant, which could easily have degenerated to fixo. This reading would sufficiently improve the sense of the passage to merit consideration, for lines 17 ff., while couched in general terms, clearly refer to the situation in which Tibullus and Delia are placed and describe the kind of behaviour by which they are to merit Venus' aid. (shrink)

by W. S. F. Pickering Durkheim's sociological approach to morals and moral systems has always aroused considerable interest, be it by way of criticism or ...